Ident. | Authors (with country if any) | Title |
---|
003142 |
Daniele Zucchelli [Italie] ; Enrica Nicolini [France] | A Decidability Result for the Model Checking of Infinite-State Systems |
003900 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
003971 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Data Structures with Arithmetic Constraints: A Non-disjoint Combination |
003984 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Combinable Extensions of Abelian Groups |
004199 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Daniele Zucchelli [Italie] | A comprehensive combination framework |
004290 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie] | Towards SMT Model Checking of Array-Based Systems |
004C19 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Noetherianity and Combination Problems |
004C79 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Decision procedures for extensions of the theory of arrays |
004C91 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems |
005509 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies |
005510 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures |
005613 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
005614 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |